Trends in Functional Programming
نویسندگان
چکیده
We present a proof rule and an effective tactic for proving properties about HASKELL type classes by proving them for the available instance definitions. This is not straightforward, because instance definitions may depend on each other. The proof assistant ISABELLE handles this problem for single parameter type classes by structural induction on types. However, this does not suffice for an effective tactic for more complex forms of overloading. We solve this using an induction scheme derived from the instance definitions. The tactic based on this rule is implemented in the proof assistant SPARKLE.
منابع مشابه
On the Detection of Trends in Time Series of Functional Data
A sequence of functions (curves) collected over time is called a functional time series. Functional time series analysis is one of the popular research areas in which statistics from such data are frequently observed. The main purpose of the functional time series is to predict and describe random mechanisms that resulted in generating the data. To do so, it is needed to decompose functional ti...
متن کاملIs it time for real-time functional programming?
This paper explores the suitability of functional languages for programming real-time systems. We study the requirements of real-time systems in general, outline typical language approaches for this domain, consider issues relating to memory and time usage, and explore how existing functional languages, including our own language Hume, match these requirements. We conclude by posing some resear...
متن کاملComonadic functional attribute evaluation
We have previously demonstrated that dataflow computation is comonadic. Here we argue that attribute evaluation has a lot in common with dataflow computation and admits a similar analysis. We claim that this yields a new, modular way to organize both attribute evaluation programs written directly in a functional language as well as attribute grammar processors.
متن کاملOptimal production and marketing planning with geometric programming approach
One of the primary assumptions in most optimal pricing methods is that the production cost is a non-increasing function of lot-size. This assumption does not hold for many real-world applications since the cost of unit production may have non-increasing trend up to a certain level and then it starts to increase for many reasons such as an increase in wages, depreciation, etc. Moreover, the prod...
متن کامل